<!DOCTYPE html>
<script>
window.doNavigationBack = () => {
  return navigation.back();
};
</script>
